Results for 'Rodrigo Emil Carreon'

994 found
Order:
  1. Estimating the Reproducibility of Experimental Philosophy.Florian Cova, Brent Strickland, Angela Abatista, Aurélien Allard, James Andow, Mario Attie, James Beebe, Renatas Berniūnas, Jordane Boudesseul, Matteo Colombo, Fiery Cushman, Rodrigo Diaz, Noah N’Djaye Nikolai van Dongen, Vilius Dranseika, Brian D. Earp, Antonio Gaitán Torres, Ivar Hannikainen, José V. Hernández-Conde, Wenjia Hu, François Jaquet, Kareem Khalifa, Hanna Kim, Markus Kneer, Joshua Knobe, Miklos Kurthy, Anthony Lantian, Shen-yi Liao, Edouard Machery, Tania Moerenhout, Christian Mott, Mark Phelan, Jonathan Phillips, Navin Rambharose, Kevin Reuter, Felipe Romero, Paulo Sousa, Jan Sprenger, Emile Thalabard, Kevin Tobia, Hugo Viciana, Daniel Wilkenfeld & Xiang Zhou - 2018 - Review of Philosophy and Psychology (1):1-36.
    Responding to recent concerns about the reliability of the published literature in psychology and other disciplines, we formed the X-Phi Replicability Project to estimate the reproducibility of experimental philosophy. Drawing on a representative sample of 40 x-phi studies published between 2003 and 2015, we enlisted 20 research teams across 8 countries to conduct a high-quality replication of each study in order to compare the results to the original published findings. We found that x-phi studies – as represented in our sample (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  2. Correction to: Estimating the Reproducibility of Experimental Philosophy.Florian Cova, Brent Strickland, Angela Abatista, Aurélien Allard, James Andow, Mario Attie, James Beebe, Renatas Berniūnas, Jordane Boudesseul, Matteo Colombo, Fiery Cushman, Rodrigo Diaz, Noah N’Djaye Nikolai van Dongen, Vilius Dranseika, Brian D. Earp, Antonio Gaitán Torres, Ivar Hannikainen, José V. Hernández-Conde, Wenjia Hu, François Jaquet, Kareem Khalifa, Hanna Kim, Markus Kneer, Joshua Knobe, Miklos Kurthy, Anthony Lantian, Shen-yi Liao, Edouard Machery, Tania Moerenhout, Christian Mott, Mark Phelan, Jonathan Phillips, Navin Rambharose, Kevin Reuter, Felipe Romero, Paulo Sousa, Jan Sprenger, Emile Thalabard, Kevin Tobia, Hugo Viciana, Daniel Wilkenfeld & Xiang Zhou - 2018 - Review of Philosophy and Psychology 12 (1):45-48.
    Appendix 1 was incomplete in the initial online publication. The original article has been corrected.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  6
    Tradução de Grandes epidemias, de Émile Littré.Rodrigo Barros Gewehr - 2023 - Revista Filosófica de Coimbra 32 (63):109-154.
    “Grandes epidemias”, de Émile Littré, é um ensaio que se debruça sobre a história das epidemias e tenta lançar as bases para uma história patológica da humanidade, a partir dessas grandes calamidades. O texto também avança no que Littré chama de “afecções menos grosseiras”, que ele identifica com “doenças nervosas”, considerando‑ as em seu caráter epidêmico. Essa transição entre duas categorias de infortúnios de ampla repercussão abre uma série de questões concernentes à definição mesma de epidemia, e nos dá a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  6
    Schopenhauer e Cioran: filosofias paralelas.Juan Pablo Enos Santana Santos & Rodrigo Inácio Ribeiro de Sá Menezes - 2023 - Voluntas: Revista Internacional de Filosofia 14 (1):e84362.
    Trata-se de uma análise das afinidades da filosofia de Schopenhauer (1788-1860) no pensamento de Emil Cioran (1911-1995). Autor influente na Romênia desde o século XIX, Schopenhauer é considerado uma das principais referências de Cioran. As fichas de leituras, cartas, expressões e os temas abordados por Cioran constituem uma gama de argumentos para aproximação do filósofo romeno ao filósofo do pessimismo.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Ottonello, Rodrigo Oscar.. La destrucción de la sociedad. Política, crimen y metafísica desde la sociología de Durkheim. Biblioteca de la Filosofía Venidera. Buenos Aires, Argentina: Miño y Dávila. 192 pp. [REVIEW]Fernando Beresñak - 2018 - Las Torres de Lucca: Revista Internacional de Filosofía Política 7 (12):265-270.
    Que la sociedad corre peligro de ser destruida es un tema recurrente en todas las áreas de la cultura. Pero en el libro que aquí reseñamos se nos recuerda que Émile Durkheim y otros grandes colaboradores a la gestación y desarrollo de la sociología eran extremadamente conscientes de esta problemática e insistían en la necesidad de no sólo abordar sus temáticas intrínsecas, sino también en mantener viva y activa esa reflexión. Rodrigo Ottonello, el autor de esta obra, hace honor (...)
    No categories
     
    Export citation  
     
    Bookmark  
  7.  29
    Does Controlled Donation after Circulatory Death Violate the Dead Donor Rule?Emil J. Nielsen Busch & Marius T. Mjaaland - 2022 - American Journal of Bioethics 23 (2):4-11.
    The vital status of patients who are a part of controlled donation after circulatory death (cDCD) is widely debated in bioethical literature. Opponents to currently applied cDCD protocols argue that they violate the dead donor rule, while proponents of the protocols advocate compatibility. In this article, we argue that both parties often misinterpret the moral implications of the dead donor rule. The rule as such does not require an assessment of a donor’s vital status, we contend, but rather an assessment (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8.  34
    The divine imperative.Emil Brunner - 1937 - Philadelphia,: The Westminster Press. Edited by Olive Wyon.
    Short description: One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with one the many uncertainties in which we ...
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  9. Do People Think Consciousness Poses a Hard Problem?: Empirical Evidence on the Meta-Problem of Consciousness.Rodrigo Díaz - 2021 - Journal of Consciousness Studies 28 (3-4):55-75.
    In a recent paper in this journal, David Chalmers introduced the meta-problem of consciousness as “the problem of explaining why we think consciousness poses a hard problem” (Chalmers, 2018, p. 6). A solution to the meta-problem could shed light on the hard problem of consciousness. In particular, it would be relevant to elucidate whether people’s problem intuitions (i.e. intuitions holding that conscious experience cannot be reduced to physical processes) are driven by factors related to the nature of consciousness, or rather (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Feeling the right way: Normative influences on people's use of emotion concepts.Rodrigo Díaz & Kevin Reuter - 2020 - Mind and Language 36 (3):451-470.
    It is generally assumed that emotion concepts are purely descriptive. However, recent investigations suggest that the concept of happiness includes information about the morality of the agent's life. In this study, we argue that normative influences on emotion concepts are not restricted to happiness and are not about moral norms. In a series of studies, we show that emotion attribution is influenced by whether the agent's psychological and bodily states fit the situation in which they are experienced. People consider that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  11.  44
    Independent bases of admissible rules.Emil Jerábek - 2008 - Logic Journal of the IGPL 16 (3):249-267.
    We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  12. Emotions and the body. Testing the subtraction argument.Rodrigo Díaz - 2022 - Philosophical Psychology 35 (1):47-65.
    Can we experience emotion without the feeling of accelerated heartbeats, perspiration, or other changes in the body? In his paper “What is an emotion”, William James famously claimed that “if we fancy some strong emotion and then try to abstract from our consciousness of it all the feelings of its bodily symptoms, we find we have nothing left behind” (1884, p. 193). Thus, bodily changes are essential to emotion. This is known as the Subtraction Argument. The Subtraction Argument is still (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  33
    The religious dimension in Hegel's thought.Emil L. Fackenheim - 1967 - Chicago: University of Chicago Press.
  14. Freedom, Equality, and Justifiability to All: Reinterpreting Liberal Legitimacy.Emil Andersson - 2022 - The Journal of Ethics 26 (4):591-612.
    According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  6
    Iterated multiplication in $$ VTC ^0$$ V T C 0.Emil Jeřábek - 2022 - Archive for Mathematical Logic 61 (5):705-767.
    We show that \, the basic theory of bounded arithmetic corresponding to the complexity class \, proves the \ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the \ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, \ can also prove the integer division axiom, and the \-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories \ and \. As a side (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. The Christian Doctrine of Creation and Redemption.Emil Brunner & Olive Wyon - 1952
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  17.  9
    Iterated multiplication in $$ VTC ^0$$.Emil Jeřábek - forthcoming - Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  16
    To mend the world: foundations of future Jewish thought.Emil L. Fackenheim - 1982 - New York: Schocken Books.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  60
    The ubiquity of conservative translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
    We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  20. Vom Sein zum Werden.Emil Machek - 1948 - Wien,: Obelisk-Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  72
    Consuming knowledge claims across contexts.Emil Frederik Lundbjerg Moeller - 2015 - Synthese 192 (12):4057-4070.
    Williamson and others have argued that contextualist theories of the semantics of ‘know’ have a special problem of accounting for our practices of ‘consuming’ knowledge attributions and denials made in other contexts. In what follows, I shall understand the objection as the idea that contextualism has a special problem of accounting for how we are able to acquire epistemically useful information from knowledge claims made in other contexts. I respond to the objection by arguing that the defeasibility of knowledge makes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  26
    Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.
    The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  21
    Hegel. A Re–examination.Emil L. Fackenheim - 1960 - Philosophical Review 69 (4):544.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  37
    The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
    We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  2
    Dramata na Cogito: edna sŭvremenna versii︠a︡: opit vŭrkhu filosofii︠a︡ta na Merab Mamardashvili.Emil Grigorov - 2009 - Sofii︠a︡: Universitetsko izdatelstvo "Sv. Kliment Okhridski".
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  4
    Hogyan éljünk?: életmód, életvitel mai társadalmunkban.Emil Nagy - 1977 - [Budapest]: Kossuth.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  47
    God's presence in history: Jewish affirmations and philosophical reflections.Emil L. Fackenheim - 1970 - Northvale, N.J.: J. Aronson.
    Comprises the Charles F. Deems Lectures delivered at New York University in 1968. Discusses the significance of the Holocaust, emphasizing theological issues, and its uniqueness in history. An authentic response to it - religious or secular - is a commitment to the autonomy and security of the State of Israel. Refers to Jewish midrash to explore the meaning and significance of the Holocaust and relates Jewish thinking about the Holocaust to Jewish thinking about earlier catastrophes. Jewish particularism remains a scandal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  25
    Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
  29.  36
    Substitution Frege and extended Frege proof systems in non-classical logics.Emil Jeřábek - 2009 - Annals of Pure and Applied Logic 159 (1-2):1-48.
    We investigate the substitution Frege () proof system and its relationship to extended Frege () in the context of modal and superintuitionistic propositional logics. We show that is p-equivalent to tree-like , and we develop a “normal form” for -proofs. We establish connections between for a logic L, and for certain bimodal expansions of L.We then turn attention to specific families of modal and si logics. We prove p-equivalence of and for all extensions of , all tabular logics, all logics (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  30. The liar paradox and the inclosure schema.Emil Badici - 2008 - Australasian Journal of Philosophy 86 (4):583 – 596.
    In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  35
    Cold Side-Effect Effect: Affect Does Not Mediate the Influence of Moral Considerations in Intentionality Judgments.Rodrigo Díaz - 2017 - Frontiers in Psychology 8:295.
    Research has consistently shown that people consider harmful side effects of an action more intentional than helpful side effects. This phenomenon is known as the side- effect effect (SEE), which refers to the influence of moral considerations in judgments of intentionality and other non-moral concepts. There is an ongoing debate about how to explain this asymmetric pattern of judgment and the psychological factors involved in it. It has been posited that affective reactions to agents that bring about harmful side- effects (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  4
    Sein Leben schreiben: Wege der Erinnerung.Emil Angehrn - 2017 - Frankfurt am Main: Vittorio Klostermann.
    Das Buch erkundet Wege und Umwege des Gedachtnisses in Philosophie und erzahlender Literatur. Es fragt nach der existentiellen Bedeutung der Erinnerung: Wieso verlangt der Mensch nach Erinnerung? Wonach strebt die Suche nach der verlorenen Zeit? Lebenserinnerung verfolgt ein zweifaches Ziel: die zerrinnende Zeit anzuhalten und sich in seinem Leben gegenwartig zu werden. Sie wehrt sich gegen das Vergehen und Vergessen, in ihr sucht der Mensch sich zu finden und sich uber sein Leben zu verstandigen. Erinnerung vollzieht sich in mannigfachen Formen. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  27
    On theories of bounded arithmetic for NC 1.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):322-340.
    We develop an arithmetical theory and its variant , corresponding to “slightly nonuniform” . Our theories sit between and , and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translations of -formulas provable in admit L-uniform polynomial-size Frege proofs.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. A Treatise on Love by Ibn Sina. Translated.Emil L. Fackenheim - 1945 - Mediaeval Studies 7 (1):208-228.
  35.  30
    Proof complexity of intuitionistic implicational formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  36.  3
    Fremmedhet og funksjon.Emil Bernhardt - 2018 - Agora Journal for metafysisk spekulasjon 35 (2-3):207-228.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    The Divine Imperative: A Study in Christian Ethics.Emil Brunner - 2002 - Lutterworth Press.
    One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with what we ought to do. People are unconvinced that there is an inviolable moral obligation governing human life because they do not believe that the 'good'can be precisely and clearly known. Haven't some generations called bad what others have called good? Aren't moral standards relative? Doesn't religion lack uniform and practical moral guidance? Brunner discusses the moral confusion we face. He analyses the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  21
    A note on the substructural hierarchy.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (1-2):102-110.
    We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the level of the substructural hierarchy.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Approximate counting by hashing in bounded arithmetic.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (3):829-860.
    We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40. Kant's concept of history.Emil L. Fackenheim - 1956 - Kant Studien 48 (1-4):381-398.
  41. Political Liberalism and the Interests of Children: A Reply to Timothy Michael Fowler.Emil Andersson - 2011 - Res Publica 17 (3):291-296.
    Timothy Michael Fowler has argued that, as a consequence of their commitment to neutrality in regard to comprehensive doctrines, political liberals face a dilemma. In essence, the dilemma for political liberals is that either they have to give up their commitment to neutrality (which is an indispensible part of their view), or they have to allow harm to children. Fowler’s case for this dilemma depends on ascribing to political liberals a view which grants parents a great degree of freedom in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Relaţia Stat-Biserica în privinţa educaţiei religioase în şcolile publice din România.Emil Moise - 2004 - Journal for the Study of Religions and Ideologies 3 (7):77-100.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  43. Man in Revolt: A Christian Anthropology.Emil Brunner & Olive Wyon - 1939 - Philosophy 14 (56):500-502.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  44. The Christian Doctrine of God.Emil Brunner & Olive Wyon - 1950
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  45.  18
    Open induction in a bounded arithmetic for TC0.Emil Jeřábek - 2015 - Archive for Mathematical Logic 54 (3-4):359-394.
    The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${+,\cdot,\le}$$\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  21
    Sequence encoding without induction.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):244-248.
    We show that the universally axiomatized, induction-free theory equation image is a sequential theory in the sense of Pudlák's 5, in contrast to the closely related Robinson's arithmetic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  39
    A sorting network in bounded arithmetic.Emil Jeřábek - 2011 - Annals of Pure and Applied Logic 162 (4):341-355.
    We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theory , under the assumption of the existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. On the Compatibility between Euclidean Geometry and Hume's Denial of Infinite Divisibility.Emil Badici - 2008 - Hume Studies 34 (2):231-244.
    It has been argued that Hume's denial of infinite divisibility entails the falsity of most of the familiar theorems of Euclidean geometry, including the Pythagorean theorem and the bisection theorem. I argue that Hume's thesis that there are indivisibles is not incompatible with the Pythagorean theorem and other central theorems of Euclidean geometry, but only with those theorems that deal with matters of minuteness. The key to understanding Hume's view of geometry is the distinction he draws between a precise and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Hermann Cohen, After Fifty Years.Emil L. Fackenheim - 1969 - Leo Baeck Institute.
     
    Export citation  
     
    Bookmark   3 citations  
  50.  6
    Metaphysics and historicity.Emil L. Fackenheim - 1961 - Milwaukee,: Marquette University Press.
1 — 50 / 994